Theoretical computer science - PDFSEARCH.IO - Document Search Engine

Theoretical computer science
Results: 9916

#	Item
321	˘ TUGKAN BATU Department of Mathematics London School of Economics Add to Reading List Source URL: www.maths.lse.ac.uk Language: English - Date: 2016-07-06 07:30:45 Theoretical computer science Science and technology Computer science Ronitt Rubinfeld Symposium on Discrete Algorithms Computational learning theory Symposium on Theory of Computing Algorithm ACM Transactions on Algorithms ACM SIGACT
322	Sampling-based Data Mining Algorithms: Modern Techniques and Case Studies Matteo Riondato Brown University, Providence, RI 02912, USA Abstract. Sampling a dataset for faster analysis and looking at it Add to Reading List Source URL: matteo.rionda.to Language: English - Date: 2016-07-30 12:22:15 Mathematics Graph theory Network theory Theoretical computer science Computational learning theory Dimension Statistical classification VC dimension Centrality Sampling Statistics Mode
323	Specialising the Ground Representation in the Logic Programming Language G¨odel. C.A.Gurr∗ University of Edinburgh Abstract Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:11 Software engineering Theoretical computer science Logic programming Computer programming Programming paradigms Automated theorem proving Type theory Prolog Unification Substitution Interpreter Term
324	ISSN No: International Journal & Magazine of Engineering, Technology, Management and Research A Peer Reviewed Open Access International Journal Add to Reading List Source URL: www.ijmetmr.com Language: English - Date: 2015-01-27 07:14:30 Electronic engineering Logic gates Electronics Theoretical computer science Digital electronics Logic families Integrated circuits Models of computation Reversible computing Toffoli gate CMOS Transmission gate
325	Lines Missing Every Random Point∗ Jack H. Lutz† Neil Lutz‡ Abstract Add to Reading List Source URL: paul.rutgers.edu Language: English - Date: 2014-07-23 19:14:22 Mathematical analysis Computability theory Mathematics Theory of computation Theoretical computer science Martingale theory Stochastic processes Kakeya set Real analysis Computable function Martingale Computable number
326	Universal Multiple-Octet Coded Character Set UCS ISO/IEC JTC1/SC2/WG2 IRG N 1100 Date: Source: Title: Add to Reading List Source URL: appsrv.cse.cuhk.edu.hk Language: English - Date: 2004-12-16 01:20:12 Computing Theoretical computer science Unicode Character sets Universal Coded Character Set Mathematical logic Glyph Unification Ext JS Attribute
327	Private quantum subsystems and error correction Tomas JochymO’Connor Privacy & error correction Add to Reading List Source URL: www.qec14.ethz.ch Language: English - Date: 2015-01-28 07:57:17 Theoretical computer science Quantum information science Quantum computing Quantum mechanics Quantum information theory Quantum cryptography Emerging technologies Quantum channel Quantum error correction Quantum information Density matrix Privacy
328	Unifying Refinement and Hoare-Style Reasoning in a Logic for Higher-Order Concurrency Aaron Turon Derek Dreyer Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2013-07-22 04:30:15 Mathematical logic Logic Theoretical computer science Logic in computer science Predicate logic Philosophical logic Automated theorem proving Logic programming Hoare logic Separation logic Unification Combinatory logic
329	02157 Functional Programming - Lecture 8: Tail recursive erativeunctions Add to Reading List Source URL: www.imm.dtu.dk Language: English - Date: 2013-01-17 16:09:56 Software engineering Computer programming Recursion Subroutines Control flow Computability theory Theoretical computer science Functional programming Tail call Continuation Factorial

UPDATE